3

New solvable cases for the eight-vertex model

Year:
1982
Language:
english
File:
PDF, 176 KB
english, 1982
4

The evolution of the syrinx: An acoustic theory

Year:
2019
Language:
english
File:
PDF, 1010 KB
english, 2019
31

Automated Generation of (F)LTL Oracles for Testing and Debugging

Year:
2018
Language:
english
File:
PDF, 882 KB
english, 2018